((v1 v2 6) (v1 v3 4) (v1 v4 1) (v1 v5 4) (v1 v6 7) (v1 v7 6) (v1 v8 7) (v1 v9 6) (v1 v10 8) (v1 v11 1) (v1 v12 1) (v1 v13 7) (v1 v14 6) (v1 v15 3) (v1 v16 3) (v1 v17 6) (v1 v18 9))
22
((v8 v9) (v6 v8) (v9 v13) (v17 v13) (v15 v1) (v15 v3) (v2 v4) (v8 v5))